package tr.edu.ege.kipler.satisfiability.container.operational;

import java.util.Set;

import tr.edu.ege.kipler.satisfiability.container.ABox;
import tr.edu.ege.kipler.satisfiability.container.Individual;
import tr.edu.ege.kipler.syntax.Role;
import tr.edu.ege.kipler.syntax.concept.Concept;

/**
 * 
 * @author İnanç Seylan
 *
 */
public interface RelatedIndividualWithTypeFilter {
	public Set<Individual> filter();

	public Individual getIndividual();

	public void setIndividual(Individual individual);

	public Role getRole();

	public void setRole(Role role);

	public ABox getABox();

	public void setABox(ABox box);

	public Concept getConcept();

	public void setConcept(Concept concept);

	public boolean contains();
}
